Buy Used and New Ganesh Gopalakrishnan Books

Computation Engineering: Applied Automata Theory and Logic

by Ganesh Gopalakrishnan

ISBN 13: 9781441937414

Format: Paperback (512 pages)
Publisher: Springer
Published: 12 Feb 2010

Save for later

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642221095

Format: Paperback (778 pages)
Publisher: Springer
Published: 05 Jul 2011

Save for later

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings: 1522 (Lecture Notes in Computer Science)

by Phillip Windley,Ganesh Gopalakrishnan

ISBN 13: 9783540651918

Format: Paperback (548 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later